<html>
<head><meta charset="utf-8"><title>Solving promotion? · t-compiler/const-eval · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/index.html">t-compiler/const-eval</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Solving.20promotion.3F.html">Solving promotion?</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="206731423"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Solving%20promotion%3F/near/206731423" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Solving.20promotion.3F.html#206731423">(Aug 12 2020 at 18:21)</a>:</h4>
<p><span class="user-mention" data-user-id="124288">@oli</span> and me had some troubles with promoteds again, so I wrote up some things about promotion: <a href="https://github.com/rust-lang/const-eval/issues/53">https://github.com/rust-lang/const-eval/issues/53</a><br>
I think I only now realized that the key problem with promoteds is that they can fail to evaluate, and that all our trouble would be solved if we can stop that from happening. That's more relaxed and more principled than what I previously considered the endgame, namely "only promote things that would be valid patterns", so I am not as hopeless as I used to be about ever being able to reach that state.^^</p>
<p>Please let me know what you think.</p>



<a name="206733298"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Solving%20promotion%3F/near/206733298" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Solving.20promotion.3F.html#206733298">(Aug 12 2020 at 18:37)</a>:</h4>
<p>I am actually quite enthusiastic about this. :D</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>